81. Finite automata, their algebras and grammars
پدیدآورنده: J. Richard Buchi ; Dirk Siefkes, editor,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Sequential machine theory
رده :
QA
.
S4B83
267
.
5
1989
82. Finite automata : their algebras and grammars : Towards a theory of formal expressions
پدیدآورنده: Buchi, J. Richard, 4291-4891
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Sequential machine theory
رده :
QA
267
.
5
.
S4B83
1988
83. Finite state machine logic synthesis for complex programmable logic device
پدیدآورنده: / Robert Czerwinski and Dariusz Kania
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Sequential machine theory,Programmable logic devices,Electronic books
رده :
E-BOOK
84. Finite-state models for logical machines
پدیدآورنده: Hennie, Frederick C.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Sequential machine theory
رده :
QA
267
.
5
.
S4
.
H4
85. Finite-state models for logical machines
پدیدآورنده: HENNIE,FREDERICK C
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: SEQUENTIAL MACHINE THEORY
رده :
QA
267
.
5
.
S4
H4
86. Finite-state models for logical machines
پدیدآورنده: Hennie, Frederick C.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Sequential machine theory
رده :
QA
267
.
5
.
S4H4
87. Finite transition systems : semantics of communicating systems, Systemes de transitions finit et semantique des processus communicants. English
پدیدآورنده: Arnold, A.)Andre(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Sequential machine theory
رده :
QA
267
.
5
.
A7613
1994
88. Formal properties of finite automata and applicatins : LITP Spring School of Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : Proceedings
پدیدآورنده: J.E. Pin )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Sequential machine theory
رده :
QA
76
.
L28
Vol
.
386
89. Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Sequential machine theory-- Congresses
رده :
QA
267
.
5
.
S4
.
E26
1988
90. Handbook of finite state based models and applications
پدیدآورنده: edited by Jiacun Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Computer programming.,Sequential machine theory.
91. Informations- logische Automaten. Automatisierung im Informations- und Bibliothekswesen
پدیدآورنده: Gutenmakher, L I
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Sequential machine theory,، Information storage and retreieval systems,، Electronic data processing
رده :
QA
76
.
G8315
92. Introduction to languages and the theory of computation
پدیدآورنده: / John C. Martin
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Sequential machine theory,Computable functions
رده :
QA267
.
5
.
S4M29
2003
93. Introduction to languages and the theory of computation
پدیدآورنده: Martin, John C.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Sequential machine theory , Computable functions
رده :
QA
267
.
5
.
S4
M29
1997
94. Introduction to languages and the theory of computation
پدیدآورنده: Martin, John C
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Sequential machine theory,Computable functions
رده :
QA
267
.
5
.
S4
M29
1991
95. Introduction to languages and the theory of computation
پدیدآورنده: / John C. Martin
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Sequential machine theory,Computable functions
رده :
QA
276
.
5
.
S4M29
1991
96. Introduction to languages and the theory of computation
پدیدآورنده: Martin, John Calhoun, 5491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Sequential machine theory,، Computable functions
رده :
QA
267
.
5
.
S4M3
1997
97. Introduction to languages and the theory of coputation
پدیدآورنده: / John C.Martin,Martin
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Sequential machine theory,Computaable functions
رده :
QA
267
.
5
.
S4M29
1991
98. Introduction to switching and automata theory
پدیدآورنده: Harrison, Michael A.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Switching theory,، Sequential machine theory
رده :
QA
401
.
H33
99. Introduction to switching and automata theory
پدیدآورنده: Harrison, Michael A.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Switching theory,، Sequential machine theory
رده :
QA
401
.
H33
100. Introduction to switching & automata theory
پدیدآورنده: HARRISON,MICHAEL A
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: SWITCHING THEORY , SEQUENTIAL MACHINE THEORY
رده :
QA
401
.
H33
